A formal system in mathematical logic that expresses statements and their relationships using quantifiers and predicates.

औपचारिक प्रणाली जो गणितीय तर्क में क्वांटिफ़ायर और पूर्ववर्ती का उपयोग करके बयानों और उनके बीच के संबंधों को व्यक्त करती है।

English Usage: "In computer science, predicate logic is often used for defining and verifying program properties."

Hindi Usage: "कंप्यूटर विज्ञान में, प्रीडिकेट लॉजिक का उपयोग अक्सर प्रोग्राम गुणों को परिभाषित करने और सत्यापित करने के लिए किया जाता है।"